open structures

// ------------------------------------------------------------
//  EASE - Element Architecture Sub-Element Names
// ------------------------------------------------------------

one sig EASE_Logger extends EASE {}
one sig EASE_Stub extends EASE {}
one sig EASE_Skeleton extends EASE {}
one sig EASE_Socket extends EASE {}
one sig EASE_Serializer extends EASE {}

